Language technology - PDFSEARCH.IO - Document Search Engine

Language technology
Results: 9219

#	Item
871	A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-07-09 06:40:16 Theoretical computer science Logic in computer science Formal methods Mathematical logic KeY Formal verification Dynamic logic Automated theorem proving Logic Language-based security
872	/u/-FRONTING IN ENGLISH SPEAKERS’ L1 BUT NOT IN THEIR L2 Mirjam Wester1 , M. Luisa García Lecumberri2 , Martin Cooke3,2 1 The Centre for Speech Technology Research, The University of Edinburgh, UK and Speech Laborator Add to Reading List Source URL: www.cstr.ed.ac.uk Language: English - Date: 2015-09-29 11:06:25 Phonetics Vowels Manner of articulation Languages of Belize Languages of the United States Formant Second-language phonology Speech perception Diphthong English language
873	Annotated Gigaword Courtney Napoles, Matthew Gormley, and Benjamin Van Durme Human Language Technology Center of Excellence Johns Hopkins University Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2012-07-14 01:28:52
874	Valence Shifting: Is It A Valid Task? Mary Gardiner Centre for Language Technology Macquarie University Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2012-11-29 20:21:39
875	LANGUAGE CONFERENCE WEB PAGE The working language of the conference will be English. Add to Reading List Source URL: www-pub.iaea.org Language: English - Date: 2015-11-05 05:59:56 Energy Nuclear physics Nuclear proliferation Nuclear safety Nuclear technology International Atomic Energy Agency Safety culture Nuclear Knowledge Management Nuclear power Nuclear safety and security Chernobyl disaster Fukushima Daiichi nuclear disaster
876	MERLOT Journal of Online Learning and Teaching Vol. 11, No. 2, June 2015 Add to Reading List Source URL: jolt.merlot.org Language: English - Date: 2015-07-24 12:21:16 Education Literacy Language Knowledge Reading Educational psychology International Literacy Association Educational technology Information literacy Media literacy
877	Blog Learning Project* – Silver Level of Recognition Purpose: The Blog Learning Project provides students with the opportunity to utilize written language to clearly and effectively tell a story about one of their UIC Add to Reading List Source URL: vcsa.uic.edu Language: English - Date: 2015-02-04 13:33:23 Educational psychology Distance education Educational technology Information technology International Union of Railways Blog
878	Capture the Core V O L U M E A PUBLICATION OF THE ILLINOIS STATE BOARD OF Add to Reading List Source URL: www.isbe.state.il.us Language: English - Date: 2015-01-28 17:58:42 Education Educational psychology Teaching Distance education Educational technology Information technology Educational assessment Differentiated instruction Literacy Essentials for English Language Learners
879	Open Domain Targeted Sentiment Margaret Mitchell Jacqueline Aguilar Theresa Wilson Benjamin Van Durme Human Language Technology Center of Excellence Johns Hopkins University Baltimore, MD 21218, USA Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2013-10-24 11:11:42
880	Inferring User Political Preferences from Streaming Communications Svitlana Volkova,1 Glen Coppersmith2 and Benjamin Van Durme1,2 1 Center for Language and Speech Processing, 2 Human Language Technology Center of Excelle Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-06-12 11:25:17

UPDATE